A comparative study of programmer-written and automatically inferred contracts Nadia Polikarpova, Ilinca Ciupa, Bertrand Meyer Chair of Software Engineering, ETH Zurich, Switzerland {firstname.lastname}@inf.ethz.ch

Source URL: se.ethz.ch

• Software engineering
• Computer programming
• Software
• Formal methods
• Logic in computer science
• Object-oriented programming languages
• Object-oriented programming
• Software testing
• Postcondition
• Eiffel
• Assertion
• Class invariant

CASE STUDY INSURANCE PROVIDER ACCELERATES DEVELOPMENT WHILE STREAMLINING REGULATORY COMPLIANCE • Gain greater visibility into software

Source URL: www.serena.com

• Software
• Computing
• Serena Software
• Method engineering
• Dimensions CM
• Information technology
• ITIL
• Serena
• Traceability

  Concurrent  systems   Case  study:  FreeBSD  kernel  concurrency  

Source URL: www.cl.cam.ac.uk

• Computer architecture
• Computing
• Software
• Concurrency control
• Spinlock
• Thread
• Linux kernel
• System call
• Kernel
• FreeBSD
• Load
• Monitor

CASE STUDY Detecting Crimeware with a Stolen Software Signing Certificate

Source URL: www.redcanary.co

Marine Biology Simulation Case Study This diagram created using Inspiration® by Inspiration Software, Inc. Go to diagrams for: Overview:Cast of Characters | The Driver

Source URL: max.cs.kzoo.edu

Ownership, Experience and Defects: A fine-grained study of Authorship Foyzur Rahman and Premkumar Devanbu Department of Computer Science University of California, Davis, USA

Source URL: macbeth.cs.ucdavis.edu

• Software
• Computing
• Source code
• Software development process
• Version control systems
• Procedural programming languages
• Technical communication
• Version control
• Software quality
• Software bug
• Open-source software
• Source lines of code

Defect Tracking Systems in Global Software Development – a work practice study Gabriela Avram, Anne Sheehan and Daniel K. Sullivan Interaction Design Centre, Department of Computer Science & Information Systems, Univer

Source URL: www.idc.ul.ie

• IEEE standards
• Defect tracking
• Product testing
• Software configuration management
• Bug tracking system
• Software bug
• Software development
• Collaboration tool

OMNIGON case study © Omnigon GAME CHANGERS WHO

Source URL: go.jamasoftware.com

• Software requirements
• Software
• Computing
• Project management software
• Engineering
• Jama Software
• Social software
• Business requirements
• Requirement
• Quality assurance
• Traceability

Marine Biology Simulation Case Study This diagram created using Inspiration® by Inspiration Software, Inc. Go to diagrams for: Overview:Cast of Characters | The Driver

Source URL: max.cs.kzoo.edu

CASE STUDY RENOWNED BANK MOVES FROM PVCS TO DIMENSIONS CM FOR EVEN FASTER DEVELOPMENT TOP 5 MIGRATION TIPS

Source URL: www.serena.com

• Software
• Version control systems
• Computer programming
• Dimensions CM
• PVCS
• Rational Application Developer
• Version control
• Serena Software
• Polytron
• Comparison of version control software